A Tool for Estimating Information Leakage? Tom Chothia, Yusuke Kawamoto, and Chris Novakovic School of Computer Science, University of Birmingham, Birmingham, UK Abstract. We present leakiEst, a tool that estimates how m

Source URL: www.cs.bham.ac.uk

• Information theory
• Cryptography
• Information
• Electrical engineering
• Information flow
• Information leakage
• Leak
• Entropy
• Weka
• Memory leak
• Mutual information
• Biometric passport

Under review as a conference paper at ICLRM ETA L EARNING S HARED H IERARCHIES Jonathan Ho, Xi Chen, Pieter Abbeel UC Berkeley, Department of Electrical Engineering and Computer Science

Source URL: arxiv.org

• Machine learning
• Artificial intelligence
• Learning
• Statistical randomness
• Q-learning
• Metalearning
• Reinforcement learning
• Artificial neural network
• Meta learning
• Multi-armed bandit
• Markov decision process
• Feature learning

Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Mathematical logic
• Mathematics
• Boolean algebra
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability modulo theories
• Propositional calculus
• Model checking

master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Mathematics
• Formal languages
• Discrete mathematics
• Graph theory
• Graph rewriting
• Logic in computer science
• Rewriting
• Rewrite order
• Confluence
• Graph
• Abstract semantic graph

Informational Substitutes Definitions and Design Yiling Chen and Bo Waggoner Harvard Computer Science July 2016

Source URL: www.bowaggoner.com

Recommendations in Signed Social Networks Jiliang Tang‡ , Charu Aggarwal# , and Huan Liu† † Computer Science & Engineering, Arizona State University, Tempe, AZ, USA ‡

Source URL: gdac.uqam.ca

National Quantum Initiative Act The National Quantum Initiative Act establishes a federal program to accelerate quantum research and development for the United States’ economic and national security. Quantum Informatio

Source URL: science.house.gov

• Theoretical computer science
• Quantum information science
• Emerging technologies
• Physics
• Quantum cryptography
• Quantum mechanics
• Quantum computing
• Quantum technology
• Quantum information
• Quantum network
• Pittsburgh Quantum Institute

LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2? , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK

Source URL: www.cs.bham.ac.uk

• Information theory
• Statistical theory
• Mathematics
• Mathematical analysis
• Entropy
• Mutual information
• Expected value
• Confidence interval
• Information flow
• Binomial distribution
• Conditional entropy
• Quantities of information

TRecSo: Enhancing Top-k Recommendation With Social Information ∗ Chanyoung Park, Donghyun Kim, Jinoh Oh, Hwanjo Yu† Dept. of Computer Science and Engineering

Source URL: gdac.uqam.ca

• Information science
• Collective intelligence
• Recommender systems
• Information retrieval
• Collaboration
• Social information processing
• Information systems
• Collaborative filtering
• Matrix factorization
• Machine learning
• Personalization

On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Measure theory
• Mathematics
• Probability and statistics
• Determinacy
• Stochastic game
• Strategy
• Markov chain
• Stochastic process
• Support
• Mathematical optimization
• Statistical model